Use the new meta_window_move_to_monitor function

https://bugzilla.gnome.org/show_bug.cgi?id=645032

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index be973b60ead902149df64aaff38682ff200fbf75..3a07585ad93591d6eb2a01281c7638b8e5126344 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1401,7 +1401,7 @@ Workspace.prototype = {
             // the move itself could cause a workspace change if the window enters
             // the primary monitor
             if (metaWindow.get_monitor() != this.monitorIndex)
-                metaWindow.move_frame(true, this._x, this._y);
+                metaWindow.move_to_monitor(this.monitorIndex);
 
             let index = this.metaWorkspace ? this.metaWorkspace.index() : global.screen.get_active_workspace_index();
             metaWindow.change_workspace_by_index(index,

diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index 9d92f7b10b4337b17a63573e34cddfb5b9543fe0..96fd52bc5357e06cf643237f12ab723e91c2a830 100644 (file)
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -410,7 +410,7 @@ WorkspaceThumbnail.prototype = {
             // the move itself could cause a workspace change if the window enters
             // the primary monitor
             if (metaWindow.get_monitor() != this.monitorIndex)
-                metaWindow.move_frame(true, this._portholeX, this._portholeY);
+                metaWindow.move_to_monitor(this.monitorIndex);
 
             metaWindow.change_workspace_by_index(this.metaWorkspace.index(),
                                                  false, // don't create workspace